📊 APL Heritage

Array Programming, K Language, Historical Notation, Mathematical Computing

Feeds to Scour
SubscribedAll
Scoured 19459 posts in 184.5 ms
Build a Compiler in Five Projects
kmicinski.com·6h
🔨Compilers
Breaking Down Barriers: My Journey to Make Programming Truly Global
dev.to·10h·
Discuss: DEV
🔄Language Evolution
Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]
fosdem.org·57m·
Discuss: Hacker News
🦀Rust Macros
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·19m
🦀Rust Macros
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·5h
✅CDDL Validation
Clifford Kolmogorov-Arnold Networks
arxiv.org·1d
🕸️Tensor Networks
Before there were Four-Fours, there were four threes, and several others
pballew.blogspot.com·1d·
Discuss: Blogger
📐Interval Arithmetic
Legendary Windows dev codes demos and games for ancient ‘War Games’ monitor — interfaces with the HP1345a vector display using an ESP32 microcontroller
tomshardware.com
·3h
🕹️Retro Gaming
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·34m·
Discuss: Hacker News
⚡Incremental Computation
Waterloo Style
theprogrammersparadox.blogspot.com·22h·
Discuss: Hacker News
🕹Emulation Theory
How Lisp Became God's Own Programming Language
twobithistory.org·3d
🔗Lisp
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·17h·
Discuss: Hacker News
⚙️Parser Generators
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Sampling the Oxford CS Library
blog.computationalcomplexity.org·3d·
Discuss: blog.computationalcomplexity.org
⛏️Proof Mining
Whether they are building agents or folding proteins, LLMs need a friend
theregister.com·1h
💻Local LLMs
Let Lambda Come Over
yamlscript.org·11h
⬆️Lambda Lifting
GTK hackfest, 2026 edition
blogs.gnome.org·1d
🔩Systems Programming
Flexible and Economical UTF-8 Decoder
bjoern.hoehrmann.de·2h
🔤Character Encoding
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help